Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
I'll be in town next week, maybe you could fit me in.
我下个礼拜会在城里，也许你能安排时间见我。
On the first day of the new year.
新年的第一天。
but few of us have skeletons in the cupboard.
但我们当中极少有人有柜中骷髅。